Detecting Item Preknowledge Using a Predictive Checking Method

A Method for Detecting Unusual Defects in Enterprise System Using Model Checking Techniques

This paper proposes a method based on model checking for detecting hard-to-discover defects in enterprise systems. Source codes are transformed into an appropriate phased abstract model so that we can observe the phenomena. UPPAAL, which is a typical model checking tool, makes an exhaustive checking of the model and provides a result whether the model can reach the specified state or not. We ha...

Model Checking Using Posterior Predictive Simulation

Rasch Trees: A New Method for Detecting Differential Item Functioning in the Rasch Model.

A variety of statistical methods have been suggested for detecting differential item functioning (DIF) in the Rasch model. Most of these methods are designed for the comparison of pre-specified focal and reference groups, such as males and females. Latent class approaches, on the other hand, allow the detection of previously unknown groups exhibiting DIF. However, this approach provides no stra...

A New Method for Detecting Differential Item Functioning in the Rasch Model

Differential item functioning (DIF) can lead to an unfair advantage or disadvantage for certain subgroups in educational and psychological testing. Therefore, a variety of statistical methods has been suggested for detecting DIF in the Rasch model. Most of these methods are designed for the comparison of pre-specified focal and reference groups, such as males and females. Latent class approache...

Detecting Termination of Active Database Rules Using Symbolic Model Checking

One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination. These algorithms then leave it to the database programmer to analyze each case to determine if indeed the rules are non-termi...